perm filename EUFM10.360[360,GF] blob sn#861835 filedate 1988-10-04 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&αp_
π#λ≠L&>x∞_mv 4[Lw_1ZVh2H
F(,λ∞F(<≥∧π_:XN6(:;aF07[NF00XlV⊂<]←_:@"αQ8F↓ ⊂)A*⊂H(αip_↓Ai`_β↓IP_∧↓)@_¬↓)@_¬↓)0_ε↓)0_ε↓)0_εA	  εA	  εA	  εA	  ε@i (εi (εi 0¬i0(¬i00∧i0@α↓	@p&C	`H(↓(T _E"q0a5λβ∀@U_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`E_α∀`DP
RBT("BQ@Ea((α	pP'@@0&@p(+↓
` +↓
`_+jP_*j@_)@j _)J⊂⊂(ip_'iP_&∧i1 %¬λT →EαbB Uλ∧∪a4p↓↓ dpA`U0αU`E8α∃`58↓U@5(↓U%⊂↓Sa$xε∃ u8β⊗U@β⊗ UHαV UHαV UHα⊗U@α∃`E0α∩@08αRaTpβQ(C ε∧↓0λk(,↓*p0+↓jP_A
P⊂↓↓
@⊂↓A
0_↓A
0⊂α↓
 ⊂αA
⊂_αA
⊂⊂β↓
⊂βA	p_βA	`_∧↓	`⊂∧A	P_∧A	@_¬↓	@_¬↓	0_¬A	!@%ε⊂ ,A⊂ ,A⊂ ,A⊂ ,A⊂_,@(T ~Dbax"∀XλRb∧Xλ∩`$X↓∩`$X↓∩`$X↓∩`$X↓∩` _βRatXα↓ tX↓α U8αU`U@αVU@αVU@αVU8αU`U0αU@U β∀@dPεRa∀("
BQ8⊃HAp0+B
PP*↓
0_(A
_(Ip_'iP_&@i@ &i@_%A	0 αAI0 ↓BI  ↓β)  @`P8%↓A0%↓↓00%↓↓@(%↓↓@(%↓↓P %↓↓P %↓!@ %↓!@ %A↓@_%A↓@_%A! _&↓↓ ⊂&↓!⊂&A@@_'αj8"Qεq8Gb`⊂∧SαT`
∩bE`↓V`5P↓V@%H↓V5@↓∃`50↓U@%(↓U % ↓T`5_↓∀@5λ↓T %↓S`4x↓S@4hα∪ 4`↓R`DPα∩@D("∞αQ8⊃λA⊂((BIph'↓@8&Ap0&@a⊂(&↓↓  &↓↓  &↓↓  &↓!⊂_&↓!⊂_&A p_&A@P_'↓@0_'BJ8(B
 @(αi` α↓iP_βAI@_¬↓)0 ¬↓I0_ε↓)  εA	  εA	  εA	  εA	  ε@i (¬A	0 ¬@i0(∧@i@0αA	P`'BλT ≤E"rB Eλ∧SaDp↓Ath↓A`d`↓B TXαα dX↓B`TPαα`TPαβTPαβTPαβTPαβTPαβTPαB`TPαB`TXαB@TXβαd`β↓@dhε Dp∧@`Eα↓ UHα⊗ E@α⊗58α∃`50↓UE_↓TD`αQ(Fλ
Fβ↓0∧`P⊂(β	ph&CI0 αAi0 ∧↓	0_∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧↓I (αB λ%↓@0⊂↓α	0H↓Ai0@α↓)@(β@iP_∧@)`λ"Q!⊂λD⊂@R`⊂ ↓∩`⊂_↓∩`⊂⊂↓∩`TXα∩`DXα∩`DXα∩`4X↓A`4X↓A tX↓A↓$X↓@a4X↓@ 0_βR`P@α∩`0Pα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@H↓R`P@↓R@p0α∩A(↓∩a_S↓$pβ∪`4("_aaλEA (α	pH&BI0 α↓	  β@)  %↓	  %↓	  %↓	  %↓	  %↓	 (%↓I 8α@I08↓i@P&Ai`('@HT 2¬αQx∞AT`∧RATPA@u_βUu(∧∃`u⊂↓↓eλ↓↓@U↓↓`Tx↓BDp↓B Dhαα Dhαα Dhαα Dhαα Dhαα Dhαα Dhαα 4hαα 4hαα 4hααDhααDhαA`4hβ↓ 4h∧`$p¬Sa¬λαT@5_Q(F(π∧"q0∧* '↓iP⊂Ai0 ↓↓i0_α↓I  αA	  β@)  β)  αI  ↓@I  ↓I 8%↓I  %↓	 (%↓I 8β)08↓@I@P&B	`('@hT 3β!rX⊂↓@0_S`txβ∪@⊂λα∪ $`↓SD`α∪ 4hα∪ Dhα∪@Dpα∩ATPεS@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@4p↓S 4h↓S $h↓∪$`Q(F8¬D↓0¬@`pλ)B _(CIq'↓0P&A↓  &A↓  &A↓  &A↓  &A↓  &A↓  &A↓  &A↓  &A↓  &A↓  &A↓  &A↓  &A!(&A@`0&A`0_A)`P↓A)p@αA
0β↓
⊂_∧↓
⊂⊂∧A	p_¬i` ¬IP0∧@)@@%@⊂Hα@)`h(αJ 8"Q
↓⊂
Jd⊂8↓∩`⊂ ↓∩`⊂_↓∩`⊂λα∩`TXαR`DXα∩`DXα∩`@0↓∩`@(α∩`@ βR`@_¬∩`@λ↓`tXβ↓@TXαBDXαα DXαα DXαα DXαα DXαα DXαα DXαα DXαα DXαα DXαα DXαα DXαα DPβαDPβA`DXβ↓`D`αα4`↓B 4hB E8α∃`58↓∃@%0↓∃ % ↓∀`%⊂↓⊃(FHεβ$∩αIP &↓IP 'Hp α)P_&↓)08%↓iP 'i`_'i`_'i`_'i`_'i`_'i`_'↓	` ↓@)`8'↓I`('@jλ"Q
 H∧JD(↓∪@Dhβ∪@Dx↓⊃`P(↓∪@Dhβ∪tX@@Txα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`4p↓S@4p↓∪ $`↓∩`$P↓∩@∀("~b↓λ⊃λ! ⊂&@ @_&@ 0_&@@⊂_&A)P(αIP α↓	P ↓↓IP @@⊂(&A@0 &A P_&A P_&A`⊂&A`λ&APλ&A@⊂&A0⊂%Ci x&A	P &A	P &A	P &A	P &A	P(&A@P⊂&A` _'αIp8(↓*⊂⊂"Q
@@εHD⊂8R@⊂ ↓∩@⊂_↓∩@⊂⊂↓∩@TPα∩@DP↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@4P↓R@DPα@@∀PβR@dPαR`4`Q(Fh∩	"q0α@p_∧@iP α↓``0&↓@ P↓αI @B`⊂X%  8αα@0'↓↓ ∧↓	` ∧@a⊂_'↓↓⊂_∧@i` ∧@a⊂_'↓↓⊂_∧@i` ∧@a⊂_'↓↓⊂_∧@i` ∧@a⊂_'↓↓⊂_∧@i` ∧@a⊂_'↓↓⊂_∧@i` ∧@a⊂_'↓↓⊂_∧@i`(∧↓↓ ↓)`(∧↓ `8'↓@`0βA)`(∧↓ p '@a ⊂¬Jλ¬@!0λ"Q
a@
εαppS  @↓SP βR``_¬∩@p⊂¬S↓ β∪ P@α∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ P@α@@∀hαBthβ↓`dhαB Dp↓B@4xC∀("≠b⊃ ¬a⊂λ)↓
@'C	P_BI@_αAi0 ∧↓	0_∧A	0_∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	 (βA	 0β↓	 8α@i0@↓I@H&AI`_"Q∞↓ 
Iβ  ↓∪@∀h↓∪0@R`@8α∩`P(βR``_¬∪Pλε∪↓_βS P@α∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪ @H↓Sp0α∩a0_↓RA`λ↓∪!Thα@dhα↓4hα∪ Dhα∪ Dhα∪ Dhα∪ Dh↓⊃(Gλ	¬$!8λ@* _αj`'C)P⊂↓αI0 β↓I0 ∧↓	0_∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	  ∧A	 (βA) 0α↓i 8A⊂ %B 0 &↓`@ &↓ ` &@`p +A
p +A
p +A
p +A
p +@jpλ"Q∞!⊂	Fαp S 00↓∪P α∩`p⊂αRAλ∧S pλβ∪@P_α∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DpαS@`(S@p⊂↓∪a∃β∀ E⊂Q(G_
Eβ⊃8¬@*@ β* @↓@*h'@` @'↓P '↓	` '↓	` β@I` αA)`(↓α	`8↓A)p β↓	p⊂∧↓⊂ ,A⊂ ,A	`(β↓	@Hα↓	0X↓↓	 ⊂ααj 8)A
@λ"Q∞AλHβpHT@%λ↓∪`Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∩aDPε∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DpαS@`(SAλ↓SA%βT E⊂↓⊃(G(F#↓8α@)`_εI@0∧A	08∧↓) ⊂A! '↓↓ '↓↓ '@a '@a '@a '@a '@a '@a '@a '@a '@a '@A⊂ 'a⊂ 'a⊂('↓`8↓I`8↓@⊂@&B@@0'A`P((Ap_)Aλ"Q∞a_
FC⊂_S$X↓B ∀X↓B4PαA tPβa$Xα@@ ⊂βR`p0αSP@α∪@Hα∪@Hα∪@Hα∪@Hα∪@Hα∪@Hα∪@Hα∪@Hα∪@Hα∪@Hα∪@H↓SP@↓S`0α∪p ↓S!λ↓∪A∧xβ∀4("≥dα⊂
F 0λ&I0_%@`p_¬@) (αA@p(%↓@0Hαα	0(C⊂`%A`@0@`08&↓↓0βA)@ ∧@a  &↓↓⊂⊂¬A	@ ∧@A0 &↓↓⊂λε↓	@ ∧@!@ &↓↓⊂λε↓	@ ∧@!@ &↓↓⊂⊂¬A	@ ∧@A0_&↓↓⊂ ∧@i@ ∧A↓⊂_&↓↓⊂ ∧↓	@(∧↓ p_&↓!0βi@0βB0_&A↓`&@a0H'!`(/HT <∧B!x↓ @↓∪ P(↓Ra_αRA⊂λ∧∩@⊂_β@`4xαA$xα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Txβ↓ ∀xβ@@4p¬S  ⊂βS  α∪⊂0↓∩`$P↓∩@4P↓R@DPβ∩`thα⊃(GH	E$AH↓@)@⊂&I0_∧i (αAi 0↓BI 0↓αi0@α↓I@(∧↓	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@ ∧A	@(∧↓	00∧↓	@0βA	@0β@iP_∧@i`λ∧A ,k⊂+@Jpλ+*Pλ** ⊂)(T =∧↓rλαEλβ∀↓∧x¬∪@  αS ⊂0αU 5(↓∃ ∃ T`∃λαT↓∧x¬∀!∃ β∃e_↓ E⊂@`EλAEA Dx↓↓ Dp↓↓@DpA`Dh↓↓`D`↓α4X↓B4X↓B4PαA@4Pβ↓ $Xβ@@$`∧S e↓⊃(Dλ⊃λd2⊂∞@*08εJ`∧@I`xβ@IP_αB @ &a8α↓	0_¬A@0 %@A@0↓A	 _εA 0 %aP(↓A	  εA0 %↓!@ ↓A	0 ε↓0 %A!0 ↓A	@(¬`@ &A↓ _α↓	`_¬`@ 'a⊂_αA	`⊂¬`P &@A _β↓	Pλ¬@@p %@A0⊂∧↓
p⊂∧A
`⊂¬↓
P⊂¬A
@⊂ε↓
 _εA
⊂(ε↓*@∧↓ipPβ@⊂0&C 0_↓A 0λ&`@XαB	0⊂∧α`8+↓A(+@a _+@A@λ"Qλ"8∀HD⊂@ββ U¬α!∧pεAA4h↓↓! ↓AT`↓αpλ↓A`DX↓αA⊂@α∩` XβB TP↓B`pHαR@@Xβα TPαB@`P∧∩@PPβα@dXαB@PX↓R``HαB 4`βαP8α∪ P@αAThαBPλ¬S@@@	S@0HαA`th↓B@PHβ∪  XαB@d`↓β@`αV@@`αV Phα⊗ @pα⊗@xα∃`Aα∃@1⊂↓U 1_↓Uaα∀A0h↓∀αH↓∪`0 εA $h↓B"∧hCA5xβ⊃(D_
GD"λ	@k00,B
p_↓↓*0⊂A0((B 0@(@ 0α↓I`_↓A@P_&@`@0&`P0%A`(%A`0%@`p0%@a(%↓↓(%↓↓(%↓↓(%↓↓(%↓↓ %↓↓ %↓p %↓ P_%↓   %A	0(%A)00&↓I@8&Aap⊂'α↓@⊂'B!⊂(∧* p*αHT "	∧R⊂⊂BaU⊂
∀β∧x
∪@Pp∧S A⊂∧∪A(βS!@βR`1Hβ∩`!XαR`⊂h↓β dP↓α`0xαR@ P↓DTPB@1⊂α∩@⊂Hα∧@E_β∧ E_β∧ E_βDE βC`E(ββ`50ββ@58αC@58αC@58αβ@58↓C`50↓D5 ↓D 4xβ∧`4hεβ@4`λα@4`	A DX↓↓b$P↓β↓TPD↓∃hαQ(D(
Gd"λ
k00-↓k⊂↓↓*0⊂A0((B @8(@0(α↓I`_α↓ P_&@`P(&``(%A`(%A`(%@`p0%@a(α)  ∧↓ 0_%↓↓(↓↓)  ∧β)  ∧↓@ 0%↓↓(α↓	  ∧↓`λ%↓↓ %↓ ` %↓ P %A0 %A)0(%AI@0&↓iP8λ)`@εIpPβ@j↓λ)βJ@P"Qλap∂
$⊂Hβ∀!5π∪`0 ¬↓`∀p↓α!⊂_↓∪@⊂`¬S  h¬∪ ⊂p∧S ⊂`↓@`4hB`%@↓∃`%0↓U@0HU @@↓U P0α∃ P(β∃ `_βU@P⊂↓@58βA∃8β⊗UHαS@@8β∪p8αRA⊂@αS`@@β∪`@HαS`@PαS`@PαS`@Xα∪`@Xα∪`@Xα∪`@Xα∪`@X↓S`@Pα∪`@P↓S`@H↓S`P8↓TP(↓T!%⊂β⊃(D8⊂λd"λ+0λ↓@k λ↓A+_↓A@0λ* ⊂ αB
 @β↓J⊂↓A p '@@@(∧IP_αA p⊂&``(βI0 β↓ @_%A`(↓Ai0_βA@⊂X%↓↓↓⊂%↓↓(βα	  ∧↓!0%↓↓(∧AI  ∧↓! (%↓↓(¬A	  ∧↓↓@ %↓p εA	 (αA↓` %↓ 0 λi0 @i0(i0(
@i@(
i@0	iP0λiP8πi`@¬@IpHβ@j⊂x)β*P@"Q	α⊂	dxB@∃@↓B∃0βA%(εU _∧∀` 0α∀@5⊂↓∀ 5α∀@XαT@H¬∀P0εTP(↓↓@uλα@@0@β∀ Pλ↓α`UλβC U⊂ββ U⊂αC@U⊂αC`E_αC@E_αC@E αβ@E αβ@E(↓C@E(↓C@E(↓C@E(↓β`Dp↓@`!α∪ `λ↓∧4`∧D 4X↓@Qλα∩@⊂(↓D@EλD`6(↓↔@⊂(↓↔ 0_↓↔ u`βW D("∩#⊃P⊃λ p('BA⊂'β @_&E	P_αBI@⊂¬↓@0λ&!P⊂α)0⊂λ@I0λλ@i ⊂λ@I λλ@k0 -A0 -A0 -A+@ .↓@ .↓@ .↓@ .↓@ .k@_(! _'↓↓⊂_&A!_&↓``⊂&α@⊂%@  P(↓HT %εc"@⊂B@E⊂∧∀!%ε∀  ∧↓4x↓↓a4p↓α tpC4h↓∧@⊗↓↔`%p↓↔ 5`↓V`EXα⊗`EXα⊗`EXαV`U`α↔E`αW Ehα↔ DpαB@T`∧α@DX∧B@DPAPPα∪`PPα∀@Pα∀@P↓T@P↓T@H↓TP@↓∀P8↓T P(↓∀A%_βQ(DX⊂HD"λ	Ak `,βjp_βAj`⊂ε↓
P⊂πj@⊂π@j0_λ*0⊂λ@* _∧A
 _βAj⊂ αB*⊂ α@0((A0λβ↓*⊂ ↓ p()↓!0)↓!⊂@)↓↓ 8)↓↓⊂0)A`0)A@0)A H*βj@_βA*@_∧↓
@_∧A
@_∧A
@_∧A
@⊂¬↓	@λβ@!0(%@`PλεA @λ%↓ 0λπα) @πB	00λAI@_
hT &πdα_⊂D u@ε∃` 0β∃  HαU Xα∀`0Xα∀` `α∀@0`α∀ @`α∀ @`α∀ @`α∀ PXα∀ PXβT@@XαT@U⊂αT`E_αUE α∃ 5(↓U %(U∃_E∃α∧`∀pβ∧`∀h∧D$`εC4`↓a08α∩` 0
∩` @	∩@ XπVA5hβQ(Dh→M∧"λ∧↓C  (αA⊂(∧↓i`hβαPP&@@P@↓B`0⊂α↓)@⊂∧↓`⊂⊂α↓`⊂⊂β↓	0⊂¬α`@βA)0⊂¬AA0∧B	 _¬AA(¬↓I  ¬A!0∧A) (¬↓!⊂(¬I (¬↓!⊂(¬I0(¬↓↓⊂(∧@I00∧A↓⊂(∧i@0∧↓↓⊂(βA	P(∧↓↓⊂(β@iP(∧↓↓⊂(β@i` ∧↓↓⊂(β↓	`_∧A↓⊂(β↓	`_∧A↓⊂ βA	P_¬a  βA	@⊂εa  βA	@λε@a  βA _¬↓p ,@a0_∧↓⊂_¬@a ,@a  ∧↓⊂⊂¬@a⊂ ,a0_∧A+⊂εA ('``⊂β`0⊂¬A@0λ&A@0⊂βα↓@H&α⊂⊂βB↓P8%B`p@π↓I ⊂↓A!⊂↓@b_% `⊂∧@ Pλλ@HT '
¬∩(⊂B`hβ∀↓ H∧SAP8¬∪ 0 ∧↓ 0_β∪ @β@` 0αR` Pβ@ @α∩` Xβ  @αR@0X∧α!∧Pαα``Xβ∩@@Xβα`DPαB`@pR`PPαC$Xβα PX↓SPHαB@4hαB @P↓S PHαα Dpαα @Hα∪@0Pαα Dp↓α`@Hα∪  `αα D`↓β @Hα⊗`@Hα⊗`@Hα⊗`0Pα⊗`0Pα⊗`0Pα⊗`0Pα⊗@0Xα⊗@0XαV 0`αT  0↓β Uα`0pβ∪a xβ`∀x∧∧A¬β∧`u⊂↓¬@VP↓Z`∀("∪dR(∩λbλ,k0+Cjq⊂,∧l0H)@B⊂8)B00(@BP0(B`0'@bp0'@bp0'↓αp0'↓"p('↓"p('↓B`('A"`('ABP((↓B@((A"@((AB0()↓"0 )↓"0 )Aα0 )@b0 )@b0 )@B@ )B@ (@BP_'Aα@_'αα_&BaP_&∧p_%@@a⊂%! p,AhT (	eα`⊂B`hαT↓ H∧∪AP0¬S  (βA 0 αS @β` 8α∩` Pα@@ @α∩` P∧α DP↓B`pH∧R@0Xβα@tPαα`@`αR@PPαβ 4XαB @h↓∩``@αβ$`αB@X↓∪ P8αα@4hαA`@Hα∪@@8αα Tp↓B@HαS@ Hαα dh↓α@@Pβ∪ Xαα`UHαα`eHαβUHαβ EHαβ EHαβ@5 ∧C@5_¬β@%⊂εC%λλB%↓A!@(↓T 8	∪` @α!DxB @_∧V @(αV EHα⊗ EHα⊗ E@αVU@α⊗5@Q(Eλ∪Idb_λ+⊂⊂,↓Jpx+DK↓_1B*0⊂λAj ⊂	AJ⊂⊂
AJ⊂↓Ip_AIp_AI` AI`(A)`(A)`0↓)p(↓)p0
A*0
↓*⊂(
↓*⊂0	A
 (	A
 (	A
0 	@j0_	A
0_	A
0⊂
j ⊂
↓
⊂⊂
@ip 
i`@λiPXε@iAβA)@_↓ε)0⊂βE`Pλ%A@@αβ`H4↓(T )	eα⊂⊂B`hαT↓ H∧∪AP8¬∪  (∧↓0_β∪ @β`0(αR` Pβ@ 0αR` Xα@  @α∩@0XβB DPαα``H∧R@@XαB@tPαB@PXα∩`PPαα`$Xβα @H↓SPHα↓`4hαB@(α∪ P@αa∀pααα∀p↓B `(β∪@0Hαα Dh↓B@0X↓S `↓B`4`C 0X↓V@0X↓V@ `↓V 0`↓V 0`α⊗  hα⊗0hα⊗ pα∪`0(↓β`Thβ`!∧∪↓λ↓∧@dX¬D`TP↓↓Q(↓R@⊂0↓¬`$("∀d"(⊃H!p +α
@`¬@* _αB↓λ(@A⊂HαJ⊂εβ	p⊂παI`⊂λAiP_	@iP⊂β@I@_α@i@⊂α@i0_α@i0_α↓	0_α↓↓08%↓@(ββ)  αε)  αC`0%↓`0ε↓I  A) (↓) (A	 (A	 (A	0(↓	0(i00@i@0
@i@8
iP8	iP@λi`Hε@ipP∧↓*↓ )∧
PP"Q
B⊂Hd⊂H∧C ∃λA@$x
∪ 0@λ∪ hε∪⊂p¬R`⊂p↓R`⊂p↓∩@ h↓∩@ h↓∩@0X↓∩@@P↓∩@P@↓R`@@↓R`0H↓U@U0αU@U0β∃`e@αVeHαV UPαV`E(A E ↓↓@08T`@(↓A@%⊂αA  0↓∀ `(↓↓5↓B λβ∪` 8@@⊂λβ∪@ @∧V0⊂↓V$("∃$2λ⊃HA@λ*@B⊂*"⊂⊂)@Ap_)Ap (@A`0(ap (ap 'A↓p 'A↓p 'A!` 'A!` (↓!P (↓!P (A!@ (A!@ )↓↓@ )↓!0 )A↓0 )A↓0 *a0 *a0 *a0 *A@ *A@ )@AP )@!`()!p((@A`0(A`⊂A)`8¬@ (α)P`α`0H&∧`P8%@ Phβ↓) λ∧αA_+↓A⊂⊂"Q
b8∀λD⊂@βCU¬α!∀pπ↓A4h↓↓!(↓a4`↓αp_↓↓A∀X↓α@`⊂↓α dX↓αa`↓R@0`ββ $Pαα```↓R@@`αβ $PαB`@`↓R`PPαα`DXβα @Xα∪`@αα`DhαB@Xα∪ P@αα`Dpαα0`α∪@0H↓CDp↓α@0`αS  X↓CT`↓α`0hαV 0hαV  pαV0pαU`!αU@!λαT`A⊂α∀!⊂xα∀↓@h↓S`0_∧α`Dp↓↓aH↓S ⊂X∧A5XεW!⊗αQ(E8→M∧"λ∧↓a0λ¬A*X∧a⊂@'β@`(βBIP⊂β↓`@@α@@X&A8↓@⊂0↓@@p@%@A0@α↓ ⊂⊂∧AI0⊂¬A`P8ε@I _ε↓@`0εI _ε↓! εI  ε↓↓ ¬@i (¬A↓ ¬↓	0(¬↓↓⊂_¬↓	00∧A↓⊂_¬↓	@0∧↓↓⊂_¬↓	P(∧↓↓⊂_¬↓	P(∧a _¬↓	` ∧a _¬↓	`_∧@a _¬↓	`⊂¬a _¬↓	P⊂¬↓↓ _¬↓	@⊂¬@a0_¬↓⊂_¬@A0 ,@A@⊂¬A+_¬@a0(+@a@⊂ε↓
p⊂ε@!P *@aP⊂εA
0_π@!` (↓!pλπ@i`@εA!@_&BA0H∧I@hββ@P⊂%@`@pαCI0⊂βBA⊂X+A!`0"Qα⊂⊃HD⊂P↓C@%_βα@E⊂∧αUλ¬↓!¬↓↓P ↓@`⊂S`⊂@α`⊂ βS@⊂Hα@ (αS ⊂X↓@  8↓∪ ⊂Xβ⊗@EPα⊗@EP↓V@5P↓V@5_	TB5P↓V@5P↓V@5P↓V UHαV U@↓ E@@@E8@`U0A T`↓↓`⊂0βA $Xα↓ @ε∩A H¬∩`p`∧∪AαQ(EH∩	%Bλ∧↓a`λ(αa  'β@p8&@`P8βαI@_∧↓@@⊂↓α	@⊂¬↓ 0⊂α↓i0_¬αp8%↓↓08∧↓I  ¬AA (%↓! (¬A) 0¬↓↓0(%A!  ε↓	@(∧A↓@ &A! ε↓	P(∧↓↓@ '↓↓ ε↓	p_∧aP '@A⊂_εA	`⊂¬aP &@A  εA	@⊂¬@a` ,@a` ,ap ,ap +@b +b⊂_*@B0_)@b@_'AB@ 'αAλ∧↓	PhαA⊂_&@@h¬i0⊂∧αA _%@!08¬k⊂ ¬@lp_3@l`_+@!P_+AP⊂*A↓ ⊂*↓A⊂*A@P⊂+αk0"Q!P
D08T%↓Sb∧p	∪B4x	↔Uhα↔ 5h↓W %`↓W%X↓⊗@∃@↓∃!∃ εU↓e_αA%_BuhβW@epβ↔`UxαW`UxαW`UxαW`Exα↔@Txαα`Dhβα`D`βB@DP↓`@Pα∪`@Hα∪`P8α∪`P(α∪aDx∧Q(BλβαD"λA	0 %A	0 %A	0 %A	0 %A	0_%@i@⊂&I@⊂&I@⊂&I@⊂&I@⊂&)@λ&)@λ&(p A	 0%↓I 0%↓I0 "Q∂PH¬β∧ λR@0_↓R@0_↓R@0_↓R@0_↓R@0_↓R@0_↓R@0 ↓∩`  ↓∩`⊂(R`⊂(R`⊂(R`⊂(Q(A⊂βα↓b⊂αI`λ&@I@⊂&I0⊂%@I _%↓	 (%A	0(&↓	@ &@(T 	AAh⊂@ 4PαR`DXαSD`α∪ 4h↓S 4h↓∪ ∀`↓∪∀XQ(B@∧CeR ∧*⊂'@I`⊂&@iP⊂&i@_&I0_%@i0_%@i0_%i _%i _%i _%i _%i _%i _%i _%i _%i _%i0⊂%@i0_%@i0_&I@_&iP⊂'I`⊂'@J⊂⊂"Q¬⊂Pπ$@R`$`↓∪ $p↓∪@4x↓∪`4x↓T%↓T5↓T5λ↓∀ 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T 5λ↓T %λ↓∀5↓T5↓∀$x↓S`$x↓∪@$`↓R@4("
A `¬H @λ') ⊂↓ 0⊂%@@⊂λ@IP_'I@(%@  λ↓) λ↓@ 0⊂')`λ'(T ∃H∧2λ∞D∃H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓∩D∧P⊂⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %H↓⊗ %HQ(B`βαaP @i  %↓) (%A)@ &@iP_&@iP⊂&I@⊂%@I0λ"Q¬R⊃@!P⊂∩D∧("∂$∩ ¬∧ αλ%λ(p8λ)"λ"Q¬`0¬A @λα∩@dPβ∩@dPβ∩`D("bQ8⊗λb0⊂.@K@⊂.K0⊂-@K _-K ⊂,@K⊂⊂,K⊂+@jp⊂+@J`⊂+JP⊂*@J@_*J@⊂)@J0⊂)J ⊂(@J⊂⊂(j⊂(Ip⊂'@I`⊂'IP_&@IP⊂&I@⊂%@I0⊂%i ⊂"Qπ 0∧¬b`λ↓R@dPβ∩@dPβ∩`D8ε 4PαR@dPβ∩@dXα⊃(CXβB#q0A	 0%↓I 0%↓I0 #C ⊂%A	0(&↓	@(&A	`_'i`⊂'I`λ&@IPλ&(T -B↓bP∩↓∧P∧∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩@$P↓∩A∧("↔!@∃	⊂8%α
⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(J⊂(I @"Q∧p βC∧ λ↓∩@DPα∩@DX↓∩`$X↓∩`$X↓∩`$X↓∩`∀XQ(Cxλ∧D2⊂β↓I`P&`@0%@``(%@A(%a⊂ %a⊂ %↓↓ %↓ p %@a_*A
P_*@j@_)@j _(@j_'@i`_'IP_&@iP 'ipλ#AP_'↓)`('↓)`('@hT ∪λDB⊂⊃βU ∧T`0_α∀`  αT@ 0α∀@ 0α∀ 00α∀ 00↓T 0(α∀ 0(↓T @_↓T @⊂↓T@u⊂αT@EλβB$x↓@ @⊂	∪@0_α↓`Th↓A@@α∪00αα4Xα↓@@@↓R`0@α↓`4PααP0↓R@@Hα↓@$Pαα@@(↓∩@@Pα@`4Pαα`P⊂↓α ∀PαB`pPR`@XβB $XαB``H↓∪PXβ↓`$`βα!⊂ ↓∪ `0α!Dxε↓!∃λ∧αd("↔C↓@εI↓@λ*@jP *↓J0⊂↓j ⊂αj⊂⊂βj⊂∧ip⊂¬i`⊂εiP⊂πi@⊂λi0⊂	i ⊂
HT ∧BR⊂⊂A∀hS∀X↓∩`$P↓R@DPα∩@dP∧∩a∀h¬SaTx↓!$p↓↓ t`↓B DXαα DXαα DPαα@DPαα@DPαα@DPαα@DPαα@4Pαα@4Pαα@4Pαα DPαα DPαα 4PαB4PβA 4XβA$`¬S!∧pβ∀4(""1(∂G@Pλ&↓i X'α*H)α
0@*Aj λ↓Aj⊂αAIp⊂βA)`⊂∧↓)@ ∧↓)@_∧A)0 ∧A)0 ∧A)0 ∧A)0 ∧A)0 ∧A)0 ∧A	0 ∧A	0 ∧A	0 ∧A	0 ∧↓)0(βA	0(βA	08α↓	@8↓@iPX'α	p0(hT ↓βb∩`⊂B5λβ ∃∧∪a∧xA$pS@∀pS@∀p↓∪@$p↓∪@4p↓S@DPεRATpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dp↓S@4p↓S@4p↓S@$h↓S $h↓∪ ∀`↓∪∀("a`x⊗λ p((α	pH'@0(' P_&@@`⊂&@@`λ&@iP_&A	`_'↓	` '↓)0h%βIp 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p 'A	p_'@ip_'@I`_'I`⊂&@IPλ"QA λ"`@α↓`∃λβ@`4xπ∪At`α↓↓∀`↓B@D`↓B@D`↓B@DXαα@DXαα@DXαα@DXαα@DXαα@DXαα@DXαα@DXαα@DXαα@DXαA`dXβ↓0λα∩`pλα@D`∧ADhβA Dpα↓`Dx↓αTxB@D`C 4`C 4X↓C$X↓B`$Xαα $PβA@$`ε∪!$xβQ(@(εCd"λ∧@I@λαI@λ↓@I@λ↓I@(&↓ @λ&↓0_&↓ (&↓⊂0&↓ 0_&↓ @λ&↓Pλ&↓	@ &↓Pλ%αi@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@ &↓	@(&↓@@λ&↓`⊂_&α)`0'@jλ"Q`xλG#@8S`4hαS Tpα∪@Dpα∪@Dp↓R@tPεSA∧pα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@Dpα∪@DpαS@p⊂↓∪a¬β∀ E⊂Q(@8ε#↓8α)P⊂ε@I@ ¬↓	00∧↓) 8∧↓)P ∧A	P ∧A	`_∧A	`_∧A	`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧@i`_∧A	`⊂¬↓	P_¬↓	P_∧A)P βA` λ&A` _Ai@X↓AI`8β↓	p(β@j⊂⊂∧@(T ?BAR⊂⊃α%α∪ tX∧RA∀pαS`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`Dxα∪`DxαS`TxαS`D(|α@>∀#dVpYOX≠@OX≠␈␈␈x␈~?␈␈xz@∩=@↓H↓}[0∧Mx{#⊂β}!	*∂0↓∧ (*G ∩o}`_λT B@α0∩=@AHα↓`h∧hh{↓"⊂αU 	bo0β∧ (,≠@∪←>`8@↓⊂}@α8a=B Xmw@∧βP{∧a0↓[oλ␈0⊂C` ]V∂n↑b0∩@↓<p#α_⎇⎇DpXlF@∧8λ{
α0β
|Pλ⊂/0∀D`0≠y ⊂9>bPπGλ≥αλ$=E20ββ_∧↔8{↓`α≤' λ8/0⊗I@``⊂y>bpπGλ≥α⊂⎇EqHαvP∧! {β⊂∧↓m ∧?0_F @βZ@,}c⊂@↓85t=F1HαvP∩_{
β⊂∧↓m ./0~F @βZ@v}c0@↓85⊂∀=FqHαvP)h{∞β⊂∧↓m \O0≤F @βZ@↓X}cP¬@7(α⊂:⎇G0XnP∧)0{∂$`εε0λ>∂0∨D@(f%@⊃h↑dλ∩↓7X'pQ=H"`βDL⊂↓v({⊂cp∧s∨ ∧βo0"
 h'	 λ'}d(⊂@↓)P↑@↓λ→=Hapα8w⊂α≤λ{⊃dpε$∨ ∧L/0$	XC↔@	D>dH∞↓
x⊃↓_Z=I!`α~d@αB_{∩d⊂¬,?¬∀/0&λ PT`
N}dh~αPq@↓([=IbHβ*¬XαlX{∪e⊂εNj`¬s∂0(
 h≡c λ}eλ∀@↓SX+↓@⎇=J"Hβ'|_β_x{∀e⊂εP? εK∂0*λ PZ@
<>e(⊂↓%(¬@↓X>=JbHβ)PPβAh{∃f@λ/⊂ π≠/0,	X@|@∞w>eH∀@↓U_V@↓p3=K!pα4≥(βtH{⊗a`α≤' λX␈0.C@ 8N@⊃I≡ep@␈pHα T=L⊃Hα≡⊂=⊂{_C ∧
<↓π∨01D`0≥M@α.≡f @␈P⊃@ {⎇LQ ↓M	⊂V0{→BαN ↓6?03F @πJβ¬↑f@
↓¬8λ0L⎇M⊂p↓∞l⊂s⊂{~A`α∨P↓o∨05D`0≥M@βt≡f`πG@|@ ⎇MR0βλJ(↓	0{≠C ∧≠&α&∨07F8i∀∧g≡g@↓λqH|⎇N⊃@↓z6X↓'P{≤B0β∞C0α↑←09E@8
I ¬O↑g λ@U ↓XJ⎇NQPαλg@↓>⊂{≥C⊂∧β
∨0;I``0∪ ε/≡g@	@c8r@h+⎇O⊃H↓␈3p↓[0{≡B0β∂t0βF␈0>B`_7↑⊂>gx	@```α@↔} ∀∨⊂=xow{⎇x